package demo2;

/**
 * Created with IntelliJ IDEA.
 * Description:
 * User: 何华树
 * Date: 2024-09-25
 * Time: 15:43
 */
sealed class Animal permits Dog{

}
non-sealed class Dog extends Animal{

}
public class Test1 {
}
